Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Fri, 15 Jul 2022 14:03:35 +0000 (15:03 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Fri, 15 Jul 2022 14:03:35 +0000 (15:03 +0100)
commit2eca6e28763149850e2700a599ff189f257708d6
tree2bcfe6114dccb2610fbd0bc185075d1b0a5ca80b
parent4287b615d83e89ab66952e3b0c2009ac4c6c2bfa
Use VFPv3-D16 FPU for ARM builds

Upstream-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914
Launchpad-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914

Jani writes: The D16 part was Debian/Ubuntu specific, IIRC we define hardfloat
in that particular variant (16 double registers) or we had a different naming
for some reason.

Gbp-Pq: Name ARM-VFPv3D16
m4/fptools.m4